
@book{Barendregt84,
	Author = {H.P. Barendregt},
	Edition = {Revised},
	Publisher = {North-Holland},
	Title = {{The Lambda Calculus -- Its Syntax and Semantics}},
	Year = {1984},
}



@article{Bennett73,
	Author = {C.H. Bennett},
	Journal = {IBM Journal of Research and Development},
	Number = {6},
	Title = {{Logical Reversibility of Computation}},
	Volume = {17},
	Year = {1973},
}



@article{Bennett88,
	Author = {C.H. Bennett},
	Journal = {IBM Journal of Research and Development},
	Number = {1},
	Title = {Notes on the history of reversible computation},
	Volume = {32},
	Year = {1988},
}


@article{BorealeS98,
	Author = {M. Boreale and D. Sangiorgi},
	Journal = {Acta Informatica},
	Number = {5},
	Title = {A Fully Abstract Semantics for Causality in the $\pi$-Calculus},
	Volume = {35},
	Year = {1998},
}


@article{CarboneM03,
	Author = {M. Carbone and S. Maffeis},
	Journal = {Nord. J. Comput.},
	Number = {2},
	Title = {On the Expressive Power of Polyadic Synchronisation in pi-calculus},
	Volume = {10},
	Year = {2003},
}


@inproceedings{DanosK04,
	Author = {V. Danos and J. Krivine},
	Booktitle = {15th Int. Conference on Concurrency Theory (CONCUR)},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Reversible Communicating Systems.},
	Volume = {3170},
	Year = {2004},
}


@inproceedings{DanosK05,
	Author = {V. Danos and J. Krivine},
	Booktitle = {16th Int. Conference on Concurrency Theory (CONCUR)},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {{Transactions in RCCS}},
	Volume = {3653},
	Year = {2005},
}


@article{DanosKS07,
	Author = {V. Danos and J. Krivine and P. Sobocinski},
	Journal = {Electr. Notes Theor. Comput. Sci.},
	Number = {3},
	Title = {General Reversibility},
	Volume = {175},
	Year = {2007},
}


@inproceedings{Fournet96RCHAM,
	Author = {C. Fournet and G. Gonthier},
	Booktitle = {23rd ACM Symp. on Princ. of Prog. Languages (POPL)},
	Title = {The reflexive chemical abstract machine and the join-calculus},
	Year = 1996,
}


@book{GrayR92Book,
	Author = {J. Gray and A. Reuter},
	Publisher = {Morgan Kaufmann},
	Title = {Transaction Processing: Concepts and Techniques},
	Year = {1992},
}


@article{MousaviRG07,
	Author = {M. R. Mousavi and M. A. Reniers and J. F. Groote},
	Journal = {Theor. Comput. Sci.},
	Number = {3},
	Title = {{SOS} formats and meta-theory: 20 years after},
	Volume = {373},
	Year = {2007},
}


@article{PhillipsU07,
	Author = {I. Phillips and I. Ulidowski},
	Journal = {J. Log. Algebr. Program.},
	Number = {1-2},
	Title = {Reversing algebraic process calculi},
	Volume = {73},
	Year = {2007},
}


@article{Sangiorgi96,
	Author = {D. Sangiorgi},
	Journal = {Information and Computation},
	Number = {2},
	Title = {Bisimulation for Higher-Order Process Calculi},
	Volume = {131},
	Year = {1996},
}


@book{Sangiorgi01Book,
	Author = {D. Sangiorgi and D. Walker},
	Publisher = {Cambridge University Press},
	Title = {{The $\pi$-calculus: A Theory of Mobile Processes}},
	Year = 2001,
}


@inproceedings{Schmitt05GC,
	Author = {A. Schmitt and J.B. Stefani},
	Booktitle = {Global Computing},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {{The Kell Calculus: A Family of Higher-Order Distributed Process Calculi}},
	Volume = {3267},
	Year = {2005},
}


@article{SchuldtABS02,
	Author = {H. Schuldt and G. Alonso and C. Beeri and H.J. Schek},
	Journal = {ACM Trans. Database Systems},
	Number = {1},
	Title = {Atomicity and isolation for transactional processes},
	Volume = {27},
	Year = {2002},
}

@inproceedings{RHOPI,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Jean-Bernard Stefani},
  title     = {Reversing Higher-Order Pi},
  booktitle = {CONCUR},
  year      = {2010},
  pages     = {478-493},
  OPTeditor    = {Paul Gastin and
               Fran\c{c}ois Laroussinie},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6269},
}

@inproceedings{LienhardtLMS12,
  author    = {Michael Lienhardt and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Jean-Bernard Stefani},
  title     = {A Reversible Abstract Machine and Its Space Overhead},
  booktitle = {FMOODS/FORTE},
  year      = {2012},
  pages     = {1-17},
  OPTeditor    = {Holger Giese and
               Grigore Rosu},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7273},
}


@inproceedings{CardelliL11,
  author    = {Luca Cardelli and
               Cosimo Laneve},
  title     = {Reversible structures},
  booktitle = {CMSB},
  year      = {2011},
  pages     = {131-140},
  OPTeditor    = {Fran\c{c}ois Fages},
  publisher = {ACM},
}
